Tarău, A.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Blackboard-based extensions in Prolog

Koenraad De Bosschere, Paul Tarau

Journal:

Software: Practice and Experience

Year:

1996

Language:

english

File:

PDF, 1.29 MB

english, 1996

2

AIP Conference Proceedings [AIP SPACE, PROPULSION & ENERGY SCIENCES INTERNATIONAL FORMUM SPESIF-2010: 14th Conference on Thermophysics Applications in Microgravity 7th Symposium on New Frontiers in Space Propulsion Sciences 2nd Symposium on Astrosociology 1st Symposium on High Frequency Gravitational Waves - Huntsville (Alabama) (24–26 February 2009)] - Sodium VCHP with Carbon-Carbon Radiator for Radioisotope Stirling Systems

Tarau, Calin, Anderson, William G., Miller, William O., Ramirez, Rogelio, Robertson, Glen A.

Year:

2010

Language:

english

File:

PDF, 3.80 MB

english, 2010

3

[ACM Press the 2009 ACM symposium - Honolulu, Hawaii (2009.03.08-2008.03.12)] Proceedings of the 2009 ACM symposium on Applied Computing - SAC '09 - Isomorphisms, hylomorphisms and hereditarily finite data types in Haskell

Year:

2009

Language:

english

File:

PDF, 364 KB

english, 2009

4

[IEEE 2020 IEEE International Conference on Automation, Quality and Testing, Robotics (AQTR) - Cluj-Napoca, Romania (2020.5.21-2020.5.23)] 2020 IEEE International Conference on Automation, Quality and Testing, Robotics (AQTR) - Implementing Demand Response Using Smart Home IoT Devices

Daniel-George, Dumitrascu, Mihaela, Coroiu, Bogdan, Marina, Radu, Tarau

Year:

2020

File:

PDF, 1008 KB

2020

5

Shaken-Baby-Syndrom bei unilateraler retinaler Hämorrhagie?; Shaken-baby syndrome and unilateral retinal hemorrhage?;

Tarau, I. S., Wang, X., Nentwich, M., Hillenkamp, J., Kampik, D.

Journal:

Der Ophthalmologe

Year:

2018

Language:

german

File:

PDF, 1.61 MB

german, 2018

6

Interactive Text Graph Mining with a Prolog-Based Dialog Engine

TARAU, PAUL, BLANCO, EDUARDO

Journal:

Theory and Practice of Logic Programming

Year:

2020

File:

PDF, 840 KB

2020

7

[American Institute of Aeronautics and Astronautics 7th International Energy Conversion Engineering Conference - Denver, Colorado (02 August 2009 - 05 August 2009)] 7th International Energy Conversion Engineering Conference - Sodium Variable Conductance Heat Pipe for Radioisotope Stirling Systems

Anderson, William, Tarau, Calin, Walker, Kara

Year:

2009

Language:

english

File:

PDF, 645 KB

english, 2009

8

[AIP SPACE, PROPULSION & ENERGY SCIENCES INTERNATIONAL FORUM: SPESIF-2009 - Huntsville (Alabama) (24–26 February 2009)] AIP Conference Proceedings - High Temperature Variable Conductance Heat Pipes for Radioisotope Stirling Systems

Tarau, Calin, Walker, Kara L., Anderson, William G., Robertson, Glen A.

Year:

2009

File:

PDF, 2.81 MB

2009

9

Compact serialization of Prolog terms (with catalan skeletons, cantor tupling and Gödel numberings)

Journal:

Theory and Practice of Logic Programming

Year:

2013

Language:

english

File:

PDF, 201 KB

english, 2013

10

[American Institute of Aeronautics and Astronautics 13th International Energy Conversion Engineering Conference - Orlando, FL ()] 13th International Energy Conversion Engineering Conference - Optimized Heat Pipe Backup Cooling System Tested with a Stirling Convertor

Schwendeman, Carl L., Tarau, Calin, Schifer, Nicholas A., Anderson, William G.

Language:

english

File:

PDF, 955 KB

english

11

Sound Attenuation by Glow Discharge Plasma

Stepaniuk, Vadim, Sheverev, Valery, Otugen, Volkan, Tarau, Calin, Raman, Ganesh, Soukhomlinov, Vladimir

Journal:

Year:

2004

Language:

english

File:

PDF, 671 KB

english, 2004

12

[American Institute of Aeronautics and Astronautics 43rd International Conference on Environmental Systems - Vail, CO ()] 43rd International Conference on Environmental Systems - Intermediate Temperature Heat Pipe Life Tests and Analyses

Anderson, William G., Tamanna, Sanjida, Tarau, Calin, Hartenstine, John, Ellis, David

Year:

2013

Language:

english

File:

PDF, 1.08 MB

english, 2013

13

The BinProlog experience: Architecture and implementation choices for continuation passing Prolog and first-class logic engines

Journal:

Theory and Practice of Logic Programming

Year:

2012

Language:

english

File:

PDF, 324 KB

english, 2012

14

[IEEE 2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara, Romania (2012.09.26-2012.09.29)] 2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Boolean Evaluation with a Pairing and Unpairing Function

Tarau, Paul, Luderman, Brenda

Year:

2012

Language:

english

File:

PDF, 252 KB

english, 2012

15

[American Institute of Aeronautics and Astronautics 9th Annual International Energy Conversion Engineering Conference - San Diego, California ()] 9th Annual International Energy Conversion Engineering Conference - Pressure Controlled Heat Pipe Solar Receiver for Regolith Oxygen Production with Multiple Reactors

Hartenstine, John, Walker, Kara, Tarau, Calin, Anderson, William

Year:

2011

Language:

english

File:

PDF, 1.30 MB

english, 2011

16

Random generation of closed simply typed λ-terms: A synergy between logic programming and Boltzmann samplers

BENDKOWSKI, MACIEJ, GRYGIEL, KATARZYNA, TARAU, PAUL

Journal:

Theory and Practice of Logic Programming

Year:

2018

Language:

english

File:

PDF, 309 KB

english, 2018

17

[ACM Press the 2013 Research in Adaptive and Convergent Systems - Montreal, Quebec, Canada (2013.10.01-2013.10.04)] Proceedings of the 2013 Research in Adaptive and Convergent Systems on - RACS '13 - Two mechanisms for generating infinite families of pairing bijections

Year:

2013

Language:

english

File:

PDF, 786 KB

english, 2013

18

Lexical inference mechanisms for text understanding and classification

Elizabeth Figa, Paul Tarau

Journal:

Proceedings of the American Society for Information Science and Technology

Year:

2003

Language:

english

File:

PDF, 679 KB

english, 2003

19

[ACM Press the 2004 ACM symposium - Nicosia, Cyprus (2004.03.14-2004.03.17)] Proceedings of the 2004 ACM symposium on Applied computing - SAC '04 - Knowledge-based conversational agents and virtual storytelling

Tarau, Paul, Figa, Elizabeth

Year:

2004

Language:

english

File:

PDF, 451 KB

english, 2004

20

[ACM Press the international symposium - San Jose, California, USA (2011.06.04-2011.06.05)] Proceedings of the international symposium on Memory management - ISMM '11 - Integrated symbol table, engine and heap memory management in multi-engine prolog

Year:

2011

Language:

english

File:

PDF, 479 KB

english, 2011

21

[ACM Press the 1996 ACM symposium - Philadelphia, Pennsylvania, United States (1996.02.17-1996.02.19)] Proceedings of the 1996 ACM symposium on Applied Computing - SAC '96 - Segment order preserving copying garbage collection for WAM based Prolog

Demoen, Bart, Engels, Geert, Tarau, Paul

Year:

1996

Language:

english

File:

PDF, 824 KB

english, 1996

22

Titanium-Water Heat Pipe Radiators for Space Fission Power System Thermal Management

Lee, Kuan-Lin, Tarau, Calin, Anderson, William G., Beard, Derek

Journal:

Microgravity Science and Technology

Year:

2020

File:

PDF, 5.20 MB

2020

23

Route Choice Control of Automated Baggage Handling Systems

Tarău, A., De Schutter, B., Hellendoorn, J.

Journal:

Transportation Research Record Journal of the Transportation Research Board

Year:

2009

Language:

english

File:

PDF, 495 KB

english, 2009

24

Propagation of acoustic waves through regions of non-uniform temperature

Tarau,, Ötügen,

Journal:

International Journal of Aeroacoustics

Year:

2002

Language:

english

File:

PDF, 800 KB

english, 2002

25

[ACM Press the 2005 ACM symposium - Santa Fe, New Mexico (2005.03.13-2005.03.17)] Proceedings of the 2005 ACM symposium on Applied computing - SAC '05 - Semantic document engineering with WordNet and PageRank

Tarau, Paul, Mihalcea, Rada, Figa, Elizabeth

Year:

2005

Language:

english

File:

PDF, 149 KB

english, 2005

26

[American Institute of Aeronautics and Astronautics 42nd International Conference on Environmental Systems - San Diego, California ()] 42nd International Conference on Environmental Systems - Variable Conductance Heat Pipes for Variable Thermal Links

Anderson, William, Ellis, Michael, Hartenstine, John, Peters, Christopher, Tarau, Calin, Walker, Kara

Language:

english

File:

PDF, 1.39 MB

english

27

[IEEE 2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara, Romania (2012.09.26-2012.09.29)] 2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Computing with Free Algebras

Year:

2012

Language:

english

File:

PDF, 266 KB

english, 2012

28

The effect of thermal barriers on sound wave propagation

Tarau, Calin, Ötügen, Volkan, Sheverev, Valery, Vradis, George, Raman, Ganesh

Journal:

International Journal of Aeroacoustics

Year:

2007

Language:

english

File:

PDF, 1.33 MB

english, 2007

29

[American Institute of Aeronautics and Astronautics 9th Annual International Energy Conversion Engineering Conference - San Diego, California ()] 9th Annual International Energy Conversion Engineering Conference - Thermal Management System for Long-Lived Venus Landers

Tarau, Calin, Anderson, William, Peters, Christopher

Year:

2011

Language:

english

File:

PDF, 655 KB

english, 2011

30

[IEEE Comput. Soc Thirty-First Hawaii International Conference on System Sciences - Kohala Coast, HI, USA (6-9 Jan. 1998)] Proceedings of the Thirty-First Hawaii International Conference on System Sciences - Towards logic programming based coordination in virtual worlds

Tarau, P., Dahl, V., De Bosschere, K.

Year:

1998

Language:

english

File:

PDF, 773 KB

english, 1998

31

[IEEE 2009 International Conference on Networking, Sensing and Control (ICNSC) - Okayama, Japan (2009.03.26-2009.03.29)] 2009 International Conference on Networking, Sensing and Control - Centralized versus decentralized route choice control in DCV-based baggage handling systems

Tarau, Alina, De Schutter, Bart, Hellendoorn, Hans

Year:

2009

Language:

english

File:

PDF, 2.50 MB

english, 2009

32

High-level networking with mobile code and first order AND-continuations

TARAU, PAUL, DAHL, VERONICA

Journal:

Theory and Practice of Logic Programming

Year:

2001

Language:

english

File:

PDF, 237 KB

english, 2001

33

Integrated symbol table, engine and heap memory management in multi-engine prolog

Journal:

ACM SIGPLAN Notices

Year:

2011

Language:

english

File:

PDF, 479 KB

english, 2011

34

Predictive Control for Baggage Handling Systems using Mixed Integer Linear Programming

Tarău, A.N., De Schutter, B., Hellendoorn, J.

Journal:

IFAC Proceedings Volumes

Year:

2010

Language:

english

File:

PDF, 216 KB

english, 2010

35

Research on the Relationship Between the Degree of European Corn Borer (Ostrinia Nubilalis Hbn.) Attack and Maize Fusariosis (Fusarium spp.) at ARDS Turda

VĂLEAN, Ana Maria, MUREŞANU, Felicia, TĂRĂU, Adina, SUCIU, Loredana, SOPTEREAN, Laura, OLTEAN, Ion

Journal:

Bulletin of University of Agricultural Sciences and Veterinary Medicine Cluj-Napoca Agriculture

Year:

2017

Language:

english

File:

PDF, 931 KB

english, 2017

36

Long-term efficacy and safety of combined prolonged-release oxycodone and naloxone in the management of non-cancer chronic pain

A. Sandner-Kiesling, P. Leyendecker, M. Hopp, L. Tarau, J. Lejcko, W. Meissner, P. Sevcik, M. Hakl, R. Hrib, R. Uhl, H. Dürr, K. Reimer

Journal:

International Journal of Clinical Practice

Year:

2010

Language:

english

File:

PDF, 305 KB

english, 2010

37

[American Institute of Aeronautics and Astronautics 41st Aerospace Sciences Meeting and Exhibit - Reno, Nevada ()] 41st Aerospace Sciences Meeting and Exhibit - Measurements in Shear Layers Using a Laser Velocity Gradient Probe

Stepaniuk, Vadim, Tarau, Calin, Otugen, Volkan, Su, Wei-Jen

Year:

2003

Language:

english

File:

PDF, 221 KB

english, 2003

38

[American Institute of Aeronautics and Astronautics 14th International Energy Conversion Engineering Conference - Salt Lake City, UT ()] 14th International Energy Conversion Engineering Conference - Alkali Metal Heat Pipes for Kilopower

Tarau, Calin, Anderson, William G., Beard, Derek

Language:

english

File:

PDF, 2.01 MB

english

39

[IEEE 2019 18th IEEE Intersociety Conference on Thermal and Thermomechanical Phenomena in Electronic Systems (ITherm) - Las Vegas, NV, USA (2019.5.28-2019.5.31)] 2019 18th IEEE Intersociety Conference on Thermal and Thermomechanical Phenomena in Electronic Systems (ITherm) - High Temperature Lightweight Heat Pipes for Solid-State Power Amplifier (SSPA) Thermal Management

Ababneh, Mohammed T., Tarau, Calin, Anderson, William G.

Year:

2019

Language:

english

File:

PDF, 42 KB

english, 2019

40

Evaluation of a laser velocity gradient probe and measurements in a boundary layer

V.P. Stepaniuk, C. Tarau, M.V. Ötügen, W.-J. Su

Journal:

Experiments in Fluids

Year:

2004

Language:

english

File:

PDF, 256 KB

english, 2004

41

[American Institute of Aeronautics and Astronautics 46th AIAA/ASME/SAE/ASEE Joint Propulsion Conference & Exhibit - Nashville, TN ()] 46th AIAA/ASME/SAE/ASEE Joint Propulsion Conference & Exhibit - Sodium Variable Conductance Heat Pipe for Radioisotope Stirling Systems - Design and Experimental Results

Anderson, William, Tarau, Calin

Year:

2010

Language:

english

File:

PDF, 699 KB

english, 2010

42

[ACM Press the 2005 ACM symposium - Santa Fe, New Mexico (2005.03.13-2005.03.17)] Proceedings of the 2005 ACM symposium on Applied computing - SAC '05 - An empirical evaluation of communication effectiveness in autonomous reactive multiagent systems

Hurt, David, Tarau, Paul

Year:

2005

Language:

english

File:

PDF, 91 KB

english, 2005

43

[ACM Press the sixth workshop - Austin, Texas, USA (2011.01.23-2011.01.23)] Proceedings of the sixth workshop on Declarative aspects of multicore programming - DAMP '11 - Concurrent programming constructs in multi-engine prolog

Year:

2011

Language:

english

File:

PDF, 464 KB

english, 2011

44

Predictive route choice control of destination coded vehicles with mixed integer linear programming optimization

Tarău, A.N., De Schutter, B., Hellendoorn, J.

Journal:

IFAC Proceedings Volumes

Year:

2009

Language:

english

File:

PDF, 205 KB

english, 2009

45

F635 EFFICACY AND TOLERABILITY OF OXYCODONE/NALOXONE PR IN PATIENTS PRE-TREATED WITH FENTANYL PATCHES

Journal:

European Journal of Pain Supplements

Year:

2011

Language:

english

File:

PDF, 51 KB

english, 2011

46

[American Institute of Aeronautics and Astronautics 41st International Conference on Environmental Systems - Portland, Oregon ()] 41st International Conference on Environmental Systems - Variable Conductance Heat Pipe for a Lunar Variable Thermal Link

Peters, Christopher, Hartenstine, John, Anderson, William, Tarau, Calin, Farmer, Jeffery

Year:

2011

Language:

english

File:

PDF, 986 KB

english, 2011

47

[IEEE Comput. Soc. Press 8th International Conference on Tools with Artificial Intelligence - Toulouse, France (16-19 Nov. 1996)] Proceedings Eighth IEEE International Conference on Tools with Artificial Intelligence - A hypothetical reasoning based framework for NL processing

Dahl, V., Fall, A., Rochefort, S., Tarau, P.

Year:

1996

Language:

english

File:

PDF, 384 KB

english, 1996

48

[American Institute of Aeronautics and Astronautics 2018 Joint Propulsion Conference - Cincinnati, Ohio ()] 2018 Joint Propulsion Conference - Apparatus for Characterizing Hot Surface Ignition of Aviation Fuels

Slippey, Andrew, Bender, Karl, Tarau, Calin, Rokkam, Srujan

Language:

english

File:

PDF, 1.06 MB

english

49

On Delphi lemmas and other memoing techniques for deterministic logic programs

Paul Tarau, Koen De Bosschere, Bart Demoen

Journal:

The Journal of Logic Programming

Year:

1997

File:

PDF, 852 KB

1997

50

In Vivo-Like Culture Conditions in a Bioreactor Facilitate Improved Tissue Quality in Corneal Storage

Schmid, Richard, Tarau, Ioana-Sandra, Rossi, Angela, Leonhardt, Stefan, Schwarz, Thomas, Schuerlein, Sebastian, Lotz, Christian, Hansmann, Jan

Journal:

Biotechnology Journal

Year:

2017

Language:

english

File:

PDF, 4.77 MB

english, 2017

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски